Embee Performance Tests
نویسنده
چکیده
We have designed and implemented a prototype tool, called Embee, which makes use of the Alloy Analyzer to automatically check the conformance of Java executions against Alloy specifications. Running time tests were conducted as part of the performance analysis of this tool. This report describes these tests and their results. Some of the results were unexpected, leading to questions about how the Alloy Analyzer functions.
منابع مشابه
Effects of Different Response Types on Iranian EFL Test Takers’ Performance
Test method facet is one of the factors which can have an influence on the test takers’ performance. The purpose of the current study was to investigate the effects of two different response types, multiple-choice cloze and multiple-choice test, on the pre-intermediate and intermediate test takers’ reading comprehension performance. To this end, 40 pre-intermediate and intermediate learners par...
متن کاملThe relationship between test-taking strategies and Iranian EFL learners’ performance on reading comprehension tests
Although most researchers have recently considered the role of test-taking strategies as one of the most vital factors in test taking process, it has been ignored by most EFL teachers in educational and academic settings including Iran. Because of the importance of test-taking strategies in EFL learners’ performance in tests, this research was set out to examine what strategies Iranian EFL test...
متن کاملThe relationship between test-taking strategies and Iranian EFL learners’ performance on reading comprehension tests
Although most researchers have recently considered the role of test-taking strategies as one of the most vital factors in test taking process, it has been ignored by most EFL teachers in educational and academic settings including Iran. Because of the importance of test-taking strategies in EFL learners’ performance in tests, this research was set out to examine what strategies Iranian EFL test...
متن کاملRelationship between Iranian EFL High School Students’ Knowledge of Universal Grammar and their Performance on Standardized General English Proficiency Tests
This study investigated the relationship between Iranian high school students’ Universal Grammar knowledge and their performance on such standardized general English proficiency tests as PET and FCE internationally administered by Cambridge University. To this end, 108 students were randomly chosen from some high schools located in Malayer from Hamedan. Since this study was correlational in nat...
متن کاملInvestigating the Impact of Response Format on the Performance of Grammar Tests: Selected and Constructed
When constructing a test, an initial decision is choosing an appropriate item response format which can be classified as selected or constructed. In large-scale tests where time and finance are of concern, the use of response chosen known as multiple-choice items is quite widespread. This study aimed at investigating the impact of response format on the performance of structure tests. Concurren...
متن کامل